1. Advances in algebraic geometry motivated by physics :AMS Special Session on Enumerative Geometry in Physics, April 1-2, 2000, University of Massachusetts, Lowell, Massachusetts
پدیدآورنده : Emma Previato, editor
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع : Congresses ، Geometry, Algebraic,Congresses ، Mathematical physics
رده :
QC
20
.
7
.
A37
A47
2001
2. Advances in representation theory of algebras /
پدیدآورنده : David J. Benson, Henning Krause, Andrzej Skowroński, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra, Congresses
رده :
QA150
.
I57
2012
3. Advances in structural and syntactical pattern recognition :
پدیدآورنده : Petra Perner, Patrick Wang, Azriel Rosenfeld (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Pattern recognition systems -- Congresses.,Pattern recognition systems.
رده :
TK7882
.
P3
P487
1996
4. Algebraic and geometric methods in discrete mathematics
پدیدآورنده : \ Heather A. Harrington, Mohamed Omar, Matthew Wright, editors.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics, Congresses.,Geometry, Algebraic, Congresses.,General -- Conference proceedings and collections of papers -- Proceedings of conferences of general interest.,ریاضیات -- کنگرهها,حساب هندسی -- کنگرهها
رده :
QA39
.
3
.
A53
2017
E-book
,
5. Algebraic transformation groups and algebraic varieties : proceedings of the conference Interesting algebraic varieties arising in algebraic transformation group theory : held at the Erwin Schrodinger Institute, Vienna, October 22-26, 2001
پدیدآورنده : Vladimir L. Popov )editor(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Invariants,Congresses ، Transformation groups,Congresses ، Algebraic varieties
رده :
QA
201
.
I56
III
6. Algebraische Transformationsgruppen und Invariantentheorie = Algebraic transformation groups and invariant theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Transformation groups-- Congresses,، Invariants-- Congresses
رده :
QA
385
.
A44
1989
7. Algèbre non commutative groupes quantiques et invariants :
پدیدآورنده : J. Alev, G. Cauchon, éditeurs
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Invariants-- Congresses,Noncommutative algebras-- Congresses,Quantum groups-- Congresses
8. Application and theory of Petri nets :
پدیدآورنده : edited by Claude Girault and Woflgang Reisig.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : fiabilité,Petri nets -- Congresses.,protocole accès.
9. Application and theory of Petri nets :
پدیدآورنده : edited by Claude Girault and Woflgang Reisig.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : fiabilité,Petri nets -- Congresses.,protocole accès.
رده :
QA267
.
E358
1982
10. Applications of invariance in computer vision : second joint European-US workshop, Ponta Delgada, Azores, Portugal, October 9-14, 1993 : proceedings
پدیدآورنده : Joseph L. Mundy, Andrew Zisserman, David Forsyth )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer vision,Congresses ، Invariants
رده :
QA
76
.
L28
Vol
.
825
11. Applied algebra, algorithmics and error-correcting codes :
پدیدآورنده : edited by Alain Poli.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra -- Data processing -- Congresses.,Computer algorithms -- Congresses.,Error-correcting codes (Information theory) -- Congresses.
رده :
QA268
.
E358
1986
12. Computer Aided Verification :
پدیدآورنده : Isil Dillig, Serdar Tasiran (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
رده :
QA76
.
758
.
C38
2019
13. [Computer aided systems theory] [revised selected papers]
پدیدآورنده : [EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003. Ed.: Roberto Moreno-Díaz ...].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer Science,Computer-aided design -- Congresses.,Computer-aided engineering -- Congresses.
14. Conformal invariance and string theory
پدیدآورنده : edited by Petre Dita and Vladimir Georgescu
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Statistical mechanics,Congresses ، Conformal invariants,Congresses ، String models
رده :
QC
174
.
7
.
C66
1989
15. Conformal invariance and string theory /
پدیدآورنده : edited by Petre Dita and Vladimir Georgescu
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Conformal invariants-- Congresses,Statistical mechanics-- Congresses,String models-- Congresses
رده :
QC174
.
7
.
C66
1989
16. Differential geometric methods in theoretical physics : physics and geometry
پدیدآورنده : edited by Ling-Lie Chau and Werner Nahm
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Geometry, Differential,Congresses ، Mathematical physics,Congresses ، Quantum field theory,Congresses ، String models,Congresses ، Conformal invariants
رده :
QC
20
.
7
.
D52I58
1988a
17. Dynamics, games and science I :
پدیدآورنده : Mauricio Matos Peixoto, Alberto Adrego Pinto, David A. Rand, Editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Differentiable dynamical systems, Congresses.,Game theory, Congresses.,Mathematical physics, Congresses.,Differentiable dynamical systems.,Game theory.,Mathematical physics.,MATHEMATICS-- Differential Equations-- General.
رده :
QA614
.
8
.
D96
2011
18. Enumerative invariants in algebraic geometry and string theory: lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, June 6-11, 2005
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Geometry, Algebraic,Congresses ، String models
رده :
QA
564
.
E584
2008
19. Enumerative invariants in algebraic geometry and string theory : lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, June 6-11, 2005
پدیدآورنده : Dan Abramovich... ]et al.[; editors : Kai Behrend and Marco Manetti
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Geometry, Algebraic,Congresses ، String models
رده :
QA
3
.
L28
Vol
.
1947
20. Foliations 2005 :
پدیدآورنده : editors, Paweł Walczak [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Foliations (Mathematics), Congresses.,Foliations (Mathematics),MATHEMATICS-- Topology.
رده :
QA613
.
62
.
F647
2005eb